Optimal. Leaf size=122 \[ -\frac {a^5 \left (a+b \sqrt {x}\right )^{16}}{8 b^6}+\frac {10 a^4 \left (a+b \sqrt {x}\right )^{17}}{17 b^6}-\frac {10 a^3 \left (a+b \sqrt {x}\right )^{18}}{9 b^6}+\frac {20 a^2 \left (a+b \sqrt {x}\right )^{19}}{19 b^6}-\frac {a \left (a+b \sqrt {x}\right )^{20}}{2 b^6}+\frac {2 \left (a+b \sqrt {x}\right )^{21}}{21 b^6} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.05, antiderivative size = 122, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 2, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.133, Rules used = {272, 45}
\begin {gather*} -\frac {a^5 \left (a+b \sqrt {x}\right )^{16}}{8 b^6}+\frac {10 a^4 \left (a+b \sqrt {x}\right )^{17}}{17 b^6}-\frac {10 a^3 \left (a+b \sqrt {x}\right )^{18}}{9 b^6}+\frac {20 a^2 \left (a+b \sqrt {x}\right )^{19}}{19 b^6}+\frac {2 \left (a+b \sqrt {x}\right )^{21}}{21 b^6}-\frac {a \left (a+b \sqrt {x}\right )^{20}}{2 b^6} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 272
Rubi steps
\begin {align*} \int \left (a+b \sqrt {x}\right )^{15} x^2 \, dx &=2 \text {Subst}\left (\int x^5 (a+b x)^{15} \, dx,x,\sqrt {x}\right )\\ &=2 \text {Subst}\left (\int \left (-\frac {a^5 (a+b x)^{15}}{b^5}+\frac {5 a^4 (a+b x)^{16}}{b^5}-\frac {10 a^3 (a+b x)^{17}}{b^5}+\frac {10 a^2 (a+b x)^{18}}{b^5}-\frac {5 a (a+b x)^{19}}{b^5}+\frac {(a+b x)^{20}}{b^5}\right ) \, dx,x,\sqrt {x}\right )\\ &=-\frac {a^5 \left (a+b \sqrt {x}\right )^{16}}{8 b^6}+\frac {10 a^4 \left (a+b \sqrt {x}\right )^{17}}{17 b^6}-\frac {10 a^3 \left (a+b \sqrt {x}\right )^{18}}{9 b^6}+\frac {20 a^2 \left (a+b \sqrt {x}\right )^{19}}{19 b^6}-\frac {a \left (a+b \sqrt {x}\right )^{20}}{2 b^6}+\frac {2 \left (a+b \sqrt {x}\right )^{21}}{21 b^6}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.03, size = 187, normalized size = 1.53 \begin {gather*} \frac {54264 a^{15} x^3+697680 a^{14} b x^{7/2}+4273290 a^{13} b^2 x^4+16460080 a^{12} b^3 x^{9/2}+44442216 a^{11} b^4 x^5+88884432 a^{10} b^5 x^{11/2}+135795660 a^9 b^6 x^6+161164080 a^8 b^7 x^{13/2}+149652360 a^7 b^8 x^7+108636528 a^6 b^9 x^{15/2}+61108047 a^5 b^{10} x^8+26142480 a^4 b^{11} x^{17/2}+8230040 a^3 b^{12} x^9+1799280 a^2 b^{13} x^{19/2}+244188 a b^{14} x^{10}+15504 b^{15} x^{21/2}}{162792} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.18, size = 168, normalized size = 1.38
method | result | size |
derivativedivides | \(\frac {2 b^{15} x^{\frac {21}{2}}}{21}+\frac {3 x^{10} a \,b^{14}}{2}+\frac {210 x^{\frac {19}{2}} a^{2} b^{13}}{19}+\frac {455 a^{3} b^{12} x^{9}}{9}+\frac {2730 x^{\frac {17}{2}} a^{4} b^{11}}{17}+\frac {3003 a^{5} b^{10} x^{8}}{8}+\frac {2002 a^{6} b^{9} x^{\frac {15}{2}}}{3}+\frac {6435 a^{7} b^{8} x^{7}}{7}+990 x^{\frac {13}{2}} a^{8} b^{7}+\frac {5005 a^{9} b^{6} x^{6}}{6}+546 x^{\frac {11}{2}} a^{10} b^{5}+273 x^{5} a^{11} b^{4}+\frac {910 x^{\frac {9}{2}} a^{12} b^{3}}{9}+\frac {105 x^{4} a^{13} b^{2}}{4}+\frac {30 x^{\frac {7}{2}} a^{14} b}{7}+\frac {x^{3} a^{15}}{3}\) | \(168\) |
default | \(\frac {2 b^{15} x^{\frac {21}{2}}}{21}+\frac {3 x^{10} a \,b^{14}}{2}+\frac {210 x^{\frac {19}{2}} a^{2} b^{13}}{19}+\frac {455 a^{3} b^{12} x^{9}}{9}+\frac {2730 x^{\frac {17}{2}} a^{4} b^{11}}{17}+\frac {3003 a^{5} b^{10} x^{8}}{8}+\frac {2002 a^{6} b^{9} x^{\frac {15}{2}}}{3}+\frac {6435 a^{7} b^{8} x^{7}}{7}+990 x^{\frac {13}{2}} a^{8} b^{7}+\frac {5005 a^{9} b^{6} x^{6}}{6}+546 x^{\frac {11}{2}} a^{10} b^{5}+273 x^{5} a^{11} b^{4}+\frac {910 x^{\frac {9}{2}} a^{12} b^{3}}{9}+\frac {105 x^{4} a^{13} b^{2}}{4}+\frac {30 x^{\frac {7}{2}} a^{14} b}{7}+\frac {x^{3} a^{15}}{3}\) | \(168\) |
trager | \(\frac {a \left (756 b^{14} x^{9}+25480 a^{2} b^{12} x^{8}+756 b^{14} x^{8}+189189 a^{4} b^{10} x^{7}+25480 a^{2} b^{12} x^{7}+756 x^{7} b^{14}+463320 a^{6} b^{8} x^{6}+189189 a^{4} b^{10} x^{6}+25480 a^{2} b^{12} x^{6}+756 b^{14} x^{6}+420420 a^{8} b^{6} x^{5}+463320 a^{6} b^{8} x^{5}+189189 a^{4} b^{10} x^{5}+25480 a^{2} b^{12} x^{5}+756 b^{14} x^{5}+137592 x^{4} a^{10} b^{4}+420420 a^{8} b^{6} x^{4}+463320 a^{6} b^{8} x^{4}+189189 x^{4} a^{4} b^{10}+25480 x^{4} a^{2} b^{12}+756 b^{14} x^{4}+13230 a^{12} b^{2} x^{3}+137592 a^{10} b^{4} x^{3}+420420 a^{8} b^{6} x^{3}+463320 a^{6} b^{8} x^{3}+189189 a^{4} b^{10} x^{3}+25480 a^{2} b^{12} x^{3}+756 b^{14} x^{3}+168 a^{14} x^{2}+13230 a^{12} b^{2} x^{2}+137592 a^{10} b^{4} x^{2}+420420 a^{8} b^{6} x^{2}+463320 a^{6} b^{8} x^{2}+189189 a^{4} b^{10} x^{2}+25480 a^{2} b^{12} x^{2}+756 b^{14} x^{2}+168 a^{14} x +13230 a^{12} b^{2} x +137592 a^{10} b^{4} x +420420 a^{8} b^{6} x +463320 a^{6} b^{8} x +189189 a^{4} b^{10} x +25480 a^{2} b^{12} x +756 b^{14} x +168 a^{14}+13230 a^{12} b^{2}+137592 a^{10} b^{4}+420420 a^{8} b^{6}+463320 a^{6} b^{8}+189189 a^{4} b^{10}+25480 a^{2} b^{12}+756 b^{14}\right ) \left (x -1\right )}{504}+\frac {2 b \,x^{\frac {7}{2}} \left (969 x^{7} b^{14}+112455 a^{2} b^{12} x^{6}+1633905 a^{4} b^{10} x^{5}+6789783 a^{6} b^{8} x^{4}+10072755 a^{8} b^{6} x^{3}+5555277 a^{10} b^{4} x^{2}+1028755 a^{12} b^{2} x +43605 a^{14}\right )}{20349}\) | \(586\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.30, size = 98, normalized size = 0.80 \begin {gather*} \frac {2 \, {\left (b \sqrt {x} + a\right )}^{21}}{21 \, b^{6}} - \frac {{\left (b \sqrt {x} + a\right )}^{20} a}{2 \, b^{6}} + \frac {20 \, {\left (b \sqrt {x} + a\right )}^{19} a^{2}}{19 \, b^{6}} - \frac {10 \, {\left (b \sqrt {x} + a\right )}^{18} a^{3}}{9 \, b^{6}} + \frac {10 \, {\left (b \sqrt {x} + a\right )}^{17} a^{4}}{17 \, b^{6}} - \frac {{\left (b \sqrt {x} + a\right )}^{16} a^{5}}{8 \, b^{6}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.37, size = 173, normalized size = 1.42 \begin {gather*} \frac {3}{2} \, a b^{14} x^{10} + \frac {455}{9} \, a^{3} b^{12} x^{9} + \frac {3003}{8} \, a^{5} b^{10} x^{8} + \frac {6435}{7} \, a^{7} b^{8} x^{7} + \frac {5005}{6} \, a^{9} b^{6} x^{6} + 273 \, a^{11} b^{4} x^{5} + \frac {105}{4} \, a^{13} b^{2} x^{4} + \frac {1}{3} \, a^{15} x^{3} + \frac {2}{20349} \, {\left (969 \, b^{15} x^{10} + 112455 \, a^{2} b^{13} x^{9} + 1633905 \, a^{4} b^{11} x^{8} + 6789783 \, a^{6} b^{9} x^{7} + 10072755 \, a^{8} b^{7} x^{6} + 5555277 \, a^{10} b^{5} x^{5} + 1028755 \, a^{12} b^{3} x^{4} + 43605 \, a^{14} b x^{3}\right )} \sqrt {x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 2.57, size = 212, normalized size = 1.74 \begin {gather*} \frac {a^{15} x^{3}}{3} + \frac {30 a^{14} b x^{\frac {7}{2}}}{7} + \frac {105 a^{13} b^{2} x^{4}}{4} + \frac {910 a^{12} b^{3} x^{\frac {9}{2}}}{9} + 273 a^{11} b^{4} x^{5} + 546 a^{10} b^{5} x^{\frac {11}{2}} + \frac {5005 a^{9} b^{6} x^{6}}{6} + 990 a^{8} b^{7} x^{\frac {13}{2}} + \frac {6435 a^{7} b^{8} x^{7}}{7} + \frac {2002 a^{6} b^{9} x^{\frac {15}{2}}}{3} + \frac {3003 a^{5} b^{10} x^{8}}{8} + \frac {2730 a^{4} b^{11} x^{\frac {17}{2}}}{17} + \frac {455 a^{3} b^{12} x^{9}}{9} + \frac {210 a^{2} b^{13} x^{\frac {19}{2}}}{19} + \frac {3 a b^{14} x^{10}}{2} + \frac {2 b^{15} x^{\frac {21}{2}}}{21} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.64, size = 167, normalized size = 1.37 \begin {gather*} \frac {2}{21} \, b^{15} x^{\frac {21}{2}} + \frac {3}{2} \, a b^{14} x^{10} + \frac {210}{19} \, a^{2} b^{13} x^{\frac {19}{2}} + \frac {455}{9} \, a^{3} b^{12} x^{9} + \frac {2730}{17} \, a^{4} b^{11} x^{\frac {17}{2}} + \frac {3003}{8} \, a^{5} b^{10} x^{8} + \frac {2002}{3} \, a^{6} b^{9} x^{\frac {15}{2}} + \frac {6435}{7} \, a^{7} b^{8} x^{7} + 990 \, a^{8} b^{7} x^{\frac {13}{2}} + \frac {5005}{6} \, a^{9} b^{6} x^{6} + 546 \, a^{10} b^{5} x^{\frac {11}{2}} + 273 \, a^{11} b^{4} x^{5} + \frac {910}{9} \, a^{12} b^{3} x^{\frac {9}{2}} + \frac {105}{4} \, a^{13} b^{2} x^{4} + \frac {30}{7} \, a^{14} b x^{\frac {7}{2}} + \frac {1}{3} \, a^{15} x^{3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.15, size = 167, normalized size = 1.37 \begin {gather*} \frac {a^{15}\,x^3}{3}+\frac {2\,b^{15}\,x^{21/2}}{21}+\frac {30\,a^{14}\,b\,x^{7/2}}{7}+\frac {3\,a\,b^{14}\,x^{10}}{2}+\frac {105\,a^{13}\,b^2\,x^4}{4}+273\,a^{11}\,b^4\,x^5+\frac {5005\,a^9\,b^6\,x^6}{6}+\frac {6435\,a^7\,b^8\,x^7}{7}+\frac {3003\,a^5\,b^{10}\,x^8}{8}+\frac {455\,a^3\,b^{12}\,x^9}{9}+\frac {910\,a^{12}\,b^3\,x^{9/2}}{9}+546\,a^{10}\,b^5\,x^{11/2}+990\,a^8\,b^7\,x^{13/2}+\frac {2002\,a^6\,b^9\,x^{15/2}}{3}+\frac {2730\,a^4\,b^{11}\,x^{17/2}}{17}+\frac {210\,a^2\,b^{13}\,x^{19/2}}{19} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________